Synchronous fUML Static Semantics Verification